Instance Verification Kit (IVK)
mutex lock @ [6214+23+/linux-3.19-rc1/drivers/mtd/spi-nor/spi-nor.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
spi_nor_erase
[6757+13+/linux-3.19-rc1/drivers/mtd/spi-nor/spi-nor.c]
spi_nor_lock
[8177+12+/linux-3.19-rc1/drivers/mtd/spi-nor/spi-nor.c]
spi_nor_lock_and_prep
[6131+21+/linux-3.19-rc1/drivers/mtd/spi-nor/spi-nor.c]
spi_nor_read
[21914+12+/linux-3.19-rc1/drivers/mtd/spi-nor/spi-nor.c]
spi_nor_unlock
[9487+14+/linux-3.19-rc1/drivers/mtd/spi-nor/spi-nor.c]
spi_nor_unlock_and_unprep
[6438+25+/linux-3.19-rc1/drivers/mtd/spi-nor/spi-nor.c]
spi_nor_write
[23917+13+/linux-3.19-rc1/drivers/mtd/spi-nor/spi-nor.c]
sst_write
[22330+9+/linux-3.19-rc1/drivers/mtd/spi-nor/spi-nor.c]